Workshop on Logic, Language, Information and Computation

Results: 11



#Item
11International Colloquium on Automata / Languages and Programming / Workshop on Logic / Language / Information and Computation / Symposium on Theoretical Aspects of Computer Science / Bill Roscoe / Model checking / Theoretical computer science / Computer science / Automata theory

PDF Document

Add to Reading List

Source URL: www.dcs.warwick.ac.uk

Language: English - Date: 2013-04-24 17:17:52
UPDATE